step(is,al,tm(s,[ctxm(eta_,idp2,ip,ip_is,ip_is),ctxm(eta_,u,ip,ip_al_2,ip_al_2)],pri(lst,[pri(lst,[pri(lst,[ctxm(eta_,idp2,id,id_is,id_is),pri(pk,[ctxm(eta_,idp2,kM,kM_is,kM_is)]),ctxm(eta_,dot,n_idp2,in_is,cn_is)]),pri(sig,[pri(lst,[ctxm(eta_,idp2,id,id_is,id_is),pri(pk,[ctxm(eta_,idp2,kM,kM_is,kM_is)]),ctxm(eta_,dot,n_idp2,in_is,cn_is)]),ctxm(eta_,ca,kM,kM_ca,kM_ca)])]),ctxm(eta_,dot,n_b,ss(eta_,i_n_b),ss(eta_,c_n_b))]))).
